- formalisation/formalization
- n.formalizacija · формализација f.
Dictionary English-Interslavic. 2015.
formalisation/formalization
Look at other dictionaries:
formalisation — [ fɔrmalizasjɔ̃ ] n. f. • 1945; de formaliser, probablt d apr. l angl. formalization ♦ Didact. Réduction aux structures formelles. La formalisation de la logique. ⇒ axiomatisation. Formalisation en linguistique. ● formalisation nom féminin Action … Encyclopédie Universelle
formalization — (Amer.) n. act of making formal, act of making official (also formalisation) … English contemporary dictionary
formalisation — (Brit.) n. act of making formal, act of making official (also formalization) … English contemporary dictionary
formalisation — noun the act of making formal (as by stating formal rules governing classes of expressions) • Syn: ↑formalization • Derivationally related forms: ↑formalise, ↑formalize (for: ↑formalization) • Hypernyms: ↑ … Useful english dictionary
formalization — noun the act of making formal (as by stating formal rules governing classes of expressions) • Syn: ↑formalisation • Derivationally related forms: ↑formalise (for: ↑formalisation), ↑formalize • Hypernyms: ↑ … Useful english dictionary
formalise — verb 1. make formal or official We formalized the appointment and gave him a title • Syn: ↑formalize • Derivationally related forms: ↑formalisation, ↑formalization (for: ↑formalize) … Useful english dictionary
formalisations — formalisation (Brit.) n. act of making formal, act of making official (also formalization) … English contemporary dictionary
formalizations — formalization (Amer.) n. act of making formal, act of making official (also formalisation) … English contemporary dictionary
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Science de la cognition — Dans l article des sciences cognitives, il est exprimé que les cogniticiens appartiennent à la science de la cognition. Nous aborderons donc, dans cet article, le principe même qui a fondé les sciences cognitives : la fusion des savoirs des… … Wikipédia en Français
Bell's theorem — is a theorem that shows that the predictions of quantum mechanics (QM) are not intuitive, and touches upon fundamental philosophical issues that relate to modern physics. It is the most famous legacy of the late physicist John S. Bell. Bell s… … Wikipedia
